Avanceret Type Carbon Tracking: Type-sikkerhed i emissionsstyring for en bæredygtig fremtid | MLOG | MLOG